Nucleon-nucleon resonances at intermediate energies using a complex energy formalism

We apply our method of complex scaling, valid for a general class of potentials, in a search for nucleon-nucleon S-matrix poles up to 2 GeV laboratory kinetic energy. We find that the realistic potentials JISP16, constructed from inverse scattering, and chiral field theory potentials N$^3$LO and N$^2$LO$_{opt}$ support resonances in energy regions well above their fit regions. In some cases these resonances have widths that are narrow when compared with the real part of the S-matrix pole.Comment: 7 pages, 5 figures, 2 Table

Incremental Recompilation of Knowledge

Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of ``knowledge compilation,'' supporting rapid approximate reasoning; on the negative side, this scheme is static in that it supports no updates, and has certain complexity drawbacks pointed out by Kavvadias, Papadimitriou and Sideri (1993). On the other hand, the many frameworks and schemes proposed in the literature for theory update and revision are plagued by serious complexity-theoretic impediments, even in the Horn case, as was pointed out by Eiter and Gottlob (1992), and is further demonstrated in the present paper. More fundamentally, these schemes are not inductive, in that they may lose in a single update any positive properties of the represented sets of formulas (small size, Horn structure, etc.). In this paper we propose a new scheme, incremental recompilation, which combines Horn approximation and model-based updates; this scheme is inductive and very efficient, free of the problems facing its constituents. A set of formulas is represented by an upper and lower Horn approximation. To update, we replace the upper Horn formula by the Horn envelope of its minimum-change update, and similarly the lower one by the Horn core of its update; the key fact which enables this scheme is that Horn envelopes and cores are easy to compute when the underlying formula is the result of a minimum-change update of a Horn formula by a clause. We conjecture that efficient algorithms are possible for more complex updates.Comment: See http://www.jair.org/ for any accompanying file

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satisfiability threshold has centered around the structure and connectivity of the solution space. Motivated by this work, we study structural and connectivity-related properties of the space of solutions of Boolean satisfiability problems and establish various dichotomies in Schaefer's framework. On the structural side, we obtain dichotomies for the kinds of subgraphs of the hypercube that can be induced by the solutions of Boolean formulas, as well as for the diameter of the connected components of the solution space. On the computational side, we establish dichotomy theorems for the complexity of the connectivity and st-connectivity questions for the graph of solutions of Boolean formulas. Our results assert that the intractable side of the computational dichotomies is PSPACE-complete, while the tractable side - which includes but is not limited to all problems with polynomial time algorithms for satisfiability - is in P for the st-connectivity question, and in coNP for the connectivity question. The diameter of components can be exponential for the PSPACE-complete cases, whereas in all other cases it is linear; thus, small diameter and tractability of the connectivity problems are remarkably aligned. The crux of our results is an expressibility theorem showing that in the tractable cases, the subgraphs induced by the solution space possess certain good structural properties, whereas in the intractable cases, the subgraphs can be arbitrary

Reconciliation of object interaction models

This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaboration diagrams, checks whether the overlapping elements of these models satisfy specific consistency rules, and guides developers in handling these inconsistencies. The method also keeps track of the decisions made and the actions taken in the process of managing inconsistencies

First Law, Counterterms and Kerr-AdS_5 Black Holes

We apply the counterterm subtraction technique to calculate the action and other quantities for the Kerr--AdS black hole in five dimensions using two boundary metrics; the Einstein universe and rotating Einstein universe with arbitrary angular velocity. In both cases, the resulting thermodynamic quantities satisfy the first law of thermodynamics. We point out that the reason for the violation of the first law in previous calculations is that the rotating Einstein universe, used as a boundary metric, was rotating with an angular velocity that depends on the black hole rotation parameter. Using a new coordinate system with a boundary metric that has an arbitrary angular velocity, one can show that the resulting physical quantities satisfy the first law.Comment: 19 pages, 1 figur

Ab-initio No-Core Gamow Shell Model calculations with realistic interactions

No-Core Gamow Shell Model (NCGSM) is applied for the first time to study selected well-bound and unbound states of helium isotopes. This model is formulated on the complex energy plane and, by using a complete Berggren ensemble, treats bound, resonant, and scattering states on equal footing. We use the Density Matrix Renormalization Group method to solve the many-body Schr\"{o}dinger equation. To test the validity of our approach, we benchmarked the NCGSM results against Faddeev and Faddeev-Yakubovsky exact calculations for $^3$H and $^4$He nuclei. We also performed {\textit ab initio} NCGSM calculations for the unstable nucleus $^5$He and determined the ground state energy and decay width, starting from a realistic N$^3$LO chiral interaction.Comment: 17 pages, 14 figures. Revised version. Discussion on microscopic overlap functions, SFs and ANCs is added. Added references. Accepted for publication at PR